Symbol time synchronization method for OFDM systems

ABSTRACT

A symbol time synchronization method for OFDM systems is disclosed. The invention presents a joint maximum-likelihood (ML) synchronization method for symbol time offset (STO) for OFDM systems. The method is developed in frequency-domain under time-variant multipath channels. By analyzing the received frequency-domain data, a mathematical model for the joint effects of symbol time offset (STO), carrier frequency offset (CFO) and sampling clock frequency offset (SCFO) is derived. The results are used to formulate a log-likelihood function of two consecutive symbols. The joint estimation&#39;s method is robust, because it exhibits high performances in high mobility and time-variant multipath fading channels.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present invention relates to a synchronization method for communication systems, and more especially, to a symbol time synchronization method for OFDM systems.

2. Background of the Related Art

Orthogonal frequency division multiplexing (OFDM) is a promising technology for broadband transmission due to its high spectrum efficiency, and its robustness to the effects of multipath fading channels. However, it is sensitive to synchronization errors. As a result, one has to achieve as good synchronization as possible in OFDM transmissions.

Like other communication systems, there are many synchronization issues should be taken into considerations in OFDM systems. First of all, unknown signal delays will introduce symbol time offset (STO) and require coarse symbol time (CST) and fine symbol time (FST) synchronizations. There also exists carrier frequency offset between a transmitter and a receiver so that fractional carrier frequency offset (FCFO), integral carrier frequency offset (ICFO) and residual carrier frequency offset (RCFO) have to be eliminated. In addition, the sampling clocks mismatch between DAC and ADC will introduce sampling clock frequency offset (SCFO).

In J. J. van de Beek, M. Sandell and P. O. Borjesson's “ML estimation of time and frequency offset in OFDM systems,” (IEEE Trans. Signal Process., vol. 45, no. 7, pp. 1800-1805, July 1997), STO and FCFO are jointly estimated by a delayed-correlation algorithm. It is an ML estimation and only good for AWGN channels.

In T. M. Schmidl and D. C. Cox's “Robust frequency and timing synchronization for OFDM,” (IEEE Trans. Commun., vol. 45, no. 12, pp. 1613-1621, December 1997), a new method making use of training symbols in time-domain was proposed. However, its correlation results exhibit uncertain plateau in multipath fading channels.

Some techniques, for example in H. Minn, V. K. Bhargava and K. B. Letaief's “A robust timing and frequency synchronization for OFDM systems,” (IEEE Trans. Wireless Commun., vol. 2, no. 4, pp. 822-839, July 2003), produce good ST (symbol time) performances. However, extra time-domain training symbols are needed.

The techniques mentioned above are applied to AWGN and/or static multiple channel condition, thus will not be suitable for real environments.

Although the technique in K. Ramasubramanian and K. Baum's “An OFDM timing recovery scheme with inherent delay-spread estimation,” (GLOBECOM'01. IEEE. vol. 5, pp. 3111-3115, Nov. 2001.7) can identify ISI-free region in multipath fading channels, for accurate ST estimation, it may involve too many symbols.

In M. Speth, S. Fechtel, G. Fock and H. Meyer's “Optimum receiver design for OFDM-based broadband transmission-part II: a case study,” (IEEE Trans. Commun., vol. 49, no. 4, pp. 571-578, Apr. 2001.8), for FST, channel responses must be estimated first, IFFT is then applied to get the channel impulse responses (CIR) and adjust the symbol boundary. Hence, its computational complexity is high.

The work in D. Lee and K. Cheun's “Coarse symbol synchronization algorithms for OFDM systems in multipath channels,” (IEEE Commun. Letter, vol. 6, no. 10, pp. 446-448, October 2002.), treats CST in multipath fading channels.

T. Lv, H. Li and J. Chen's “Joint estimation of symbol timing and carrier frequency offset of OFDM signals over fast time-varying multipath channels,” (IEEE Trans. Signal Process., vol. 53, no. 12, pp. 4526-4535, December 2005.) and J. C. Lin, “Maximum-likelihood frame timing instant and frequency offset estimation for OFDM communication over a fast Rayleigh-fading channel,” (IEEE Trans. Vehicular Tech., vol. 52, no. 4, pp. 1049-1062, July 2003.) assume that normalized Doppler frequency (NDF) is known. This restricts their applicability.

SUMMARY OF THE INVENTION

In order to solve the problems mentioned above, the present invention provides a symbol time synchronization method for OFDM systems. The present invention provides a joint maximum-likelihood (ML) synchronization method for symbol time offset (STO), wherein the method is developed in frequency-domain under time-variant multipath channels. By analyzing the received frequency-domain data, a mathematical model for the joint effects of STO, CFO and SCFO is derived, thus the present invention is suitable for high mobility and non-line-of-sight (NLOS) applications

To achieve the purpose mentioned above, the present invention provides a symbol time synchronization method for OFDM systems, which includes: receiving frequency domain data from a plurality of channels, and analyzing the frequency domain data; generating a probability density function from the frequency domain data; establishing a log-likelihood function from the probability density function; making maximum-likelihood estimation according to the log-likelihood function; and generating symbol time offset (STO) from the maximum-likelihood estimation.

BRIEF DESCRIPTION OF THE DRAWINGS

The foregoing aspects and many of the accompanying advantages of this invention will become more readily appreciated as the same becomes better understood by reference to the following detailed description, when taken in conjunction with the accompanying drawings, wherein:

FIG. 1 illustrating three consecutive symbols' ST in an OFDM system;

FIG. 2 illustrating an OFDM system according to one embodiment of the present invention;

FIG. 3 illustrating a symbol time synchronization method for OFDM systems according to one embodiment of the present invention; and

FIG. 4 illustrating architecture of the joint ML estimator according to one embodiment of the present invention.

DETAILED DESCRIPTION OF THE INVENTION

Symbol time (ST) estimation is usually the first step in an entire OFDM synchronization process, because it provides an estimated OFDM symbol boundary for the remaining synchronization steps. As shown in FIG. 1 is three consecutive symbols' ST in an OFDM system, three consecutive symbols are (l−1)th Symbol, (l)th Symbol and (l+1)th Symbol. Everyone has a guard interval (GI), and an estimated ST generally falls into one of the three defined regions, where Bad ST1 and Good ST3 are in the guard interval (of length N_(G)) of an OFDM symbol. In the figure, Bad ST1 region and Bad ST2 region for the lth symbol has inter-symbol interference (ISI) from the (l−1)th symbol and the (l+1)th symbol, respectively. On the other hand, in time-invariant channels, if ST is located in Good ST3 region, there will be no ISI but only phase rotation in the demodulated frequency-domain data, which can be simply compensated by single-tap equalizers.

The FIG. 2 shows an OFDM system according to one embodiment of the present invention. In the transmitter side, the baseband digital signals go through signal mapper 21 and processed by N-point IFFT 22, the Inverse Fast Fourier Transfrom, then inserted the CP (cyclic prefix) in the guard interval 23, performed D/A conversion in DAC 24, and finally deliver them to the channel 26.

In the receiver side, the radio waves are received from the channel 26, they are demodulated, and sampled in the ADC 36 to convert to digital signals. The CP in the digital signals are removed in CP removal 35, then processed by N-point FFT 34, equalizer 33, and signal demapper 32, finally the receiver derives serial digital signals.

In addition, the joint ML estimator 38 is coupled to the output of N-point FFT 34, the symbol time offset (STO) calculated by the estimator, and the STO is then feedback to the CP removal 35 for symbol time synchronization.

In the FIG. 2, X_(l,k) is the transmitted/received frequency-domain data on the kth subcarrier, x_(l,n) is the transmitted time-domain data sample of the lth symbol, {tilde over (x)}′(t) is the received continuous-time signal, N is FFT size, and N_(S)=N+N_(G) is an OFDM symbol length including cyclic prefix (CP); 1/T_(S) is the transmitter sampling frequency, and 1/T_(S)′=(1+ε_(t))/T_(S) is the receiver sampling frequency, where ε_(t) is the SCFO normalized by 1/T_(S), ε_(f) is the CFO normalized by subcarrier spacing; f_(c) is the carrier frequency, {circumflex over (n)}_(Δ,ML) is the estimated ML STO, {circumflex over (ε)}_(f,ML) is the estimated ML RCFO and {circumflex over (ε)}_(t,ML) is the estimated ML SCFO.

The FIG. 3 shows a symbol time synchronization method for OFDM systems according to one embodiment of the present invention. The method includes: step S1 the frequency domain data is received from the channel, and analyzing the frequency domain data; step S2 a probability density function is generated from the frequency domain data; step S3 a log-likelihood function is established from the probability density function; step S4 maximum-likelihood estimation is made according to the log-likelihood function; and step S5 symbol time offset (STO), residual carrier frequency offset (RCFO), and sampling clock frequency offset (SCFO) are generated from maximum-likelihood estimation.

Here, h_(l)(n, τ) is the baseband time-variant channel impulse response of the lth symbol. It is assumed wide-sense stationary and uncorrelated scattering (WSSUS), and can be modeled as a tapped-delay-line channel. A scattering function can be modeled as a time-varying function of Doppler frequency. The present invention assumes that the delay power spectrum follows an exponential distribution of the Doppler spectrum. Based on these assumptions, the cross-correlation of a CIR is given by

$\begin{matrix} {{Equation}\mspace{14mu} (1)} & \; \\ \begin{matrix} {{E\left\lbrack {{h_{l}\left( {n_{1},\tau_{1}} \right)}{h_{l}^{*}\left( {n_{2},\tau_{2}} \right)}} \right\rbrack} = {{E\left\lbrack {{h_{l}\left( {n_{1},\tau_{1}} \right)}{h_{l}^{*}\left( {n_{2},\tau_{2}} \right)}} \right\rbrack} \times {\delta \left( {\tau_{1} - \tau_{2}} \right)}}} \\ {= \left. {\gamma \cdot {J_{0}\left( {{\beta \cdot \Delta}\; n} \right)} \cdot ^{{- \tau}/\tau_{d}}} \middle| {}_{\tau = {\tau_{1} = \tau_{2}}}. \right.} \end{matrix} & (1) \end{matrix}$

where γ is a normalization constant, J₀(·) is the zeroth-order Bessel function of the first kind, β=2πf_(d)T/N, Δn=(n₁−n₂), f_(d) represents the maximum Doppler shift in Hertz, T=NT_(s) is the symbol duration and τ_(d) is the maximum delay spread. NDF is interchangeable with f_(d)T here.

The estimated ST will be located in one of three different regions as depicted in FIG. 1, where STO is with reference to the ideal ST of the lth symbol which is marked by the time index at zero. Detailed analysis of the received frequency-domain data in these three regions is omitted and the result is shown below.

Case 1: In Good ST3 region.

Step A1:

{tilde over (X)} _(l,k) ≈Ĥ _(1,k) X _(l,k) W _(N) ^([lN) ^(s) ^((kε) ^(t) ^(−ε) ^(f) ^()−kn) ^(Δ) ^(]) +{circumflex over (N)} _(1,k),

where

$W_{n}\overset{\Delta}{=}^{{- f}\; 2{\pi/N}}$

and σ_(k) is AWGN;

Step A2:

${{\hat{H}}_{1,k}\overset{\Delta}{=}{\frac{1}{N}{\sum\limits_{n^{\prime} = 0}^{N - 1}{{H_{l}\left( {n^{\prime},k} \right)} \times W_{N}^{- {n^{\prime}{({ɛ_{f} - {k\; ɛ_{t}}})}}}}}}};{and}$

Step A3:

${\hat{N}}_{1,k}\overset{\Delta}{=}{{\sum\limits_{m \neq k}{{X_{l,m}\left\lbrack {\frac{1}{N}{\sum\limits_{n^{\prime} = 0}^{N - 1}{{H_{l}\left( {n^{\prime},m} \right)} \times W_{N}^{- {n^{\prime}{\lbrack{{m{({1 - ɛ_{t}})}} - k + \; ɛ_{f}}\rbrack}}}}}} \right\rbrack} \times W_{N}^{{lN}_{S}{({{me}_{t} - ɛ_{f}})}} \times W_{N}^{- {kn}_{\Delta}}}} + {v_{k}.}}$

Case 2: In Bad ST1 region.

Step A4:

{tilde over (X)} _(l,k) ≈Ĥ _(2,k) X _(l,k) W _(N) ^([lN) ^(s) ^((kε) ^(t) ^(−ε) ^(f) ^()−kn) ^(Δ) ^(]) +{circumflex over (N)} _(2,k),

where

${{\overset{\sim}{H}}_{2,k}\overset{\Delta}{=}{\frac{1}{N}{\sum\limits_{n^{\prime} = N_{1}}^{N_{1}}{{H_{l}\left( {n^{\prime},k} \right)} \times W_{N}^{- {n^{\prime}{({ɛ_{f} - {k\; ɛ_{t}}})}}}}}}},{N_{1} = {{- N_{G}} + \tau_{d} - n_{\Delta} + 1}},{{{\overset{\Cap}{N}}_{2,k}\overset{\Delta}{=}{{\overset{\Cap}{N}}_{1,k} - {\overset{\sim}{X}}_{l,k}^{{ici},1} + {\overset{\sim}{X}}_{l,k}^{{isi},1}}};}$

Step A5:

${{\overset{\sim}{X}}_{l,k}^{{ici},1} \approx {\sum\limits_{m \neq k}{{X_{l,m}\left\lbrack {\frac{1}{N}{\sum\limits_{n^{\prime} = 0}^{N_{1} - 1}{{H_{l}\left( {n^{\prime},m} \right)} \times W_{N}^{- {n^{\prime}{\lbrack{{m{({I - ɛ_{t}})}} - k + ɛ_{f}}\rbrack}}}}}} \right\rbrack} \times W_{N}^{{lN}_{S}{({{m\; ɛ_{t}} - ɛ_{f}})}} \times W_{N}^{- {kn}_{\Delta}}}}},{;{and}}$

Step A6:

${\overset{\sim}{X}}_{l,k}^{{isi},1} \approx {\sum\limits_{m = {- K}}{{X_{{l - 1},m}\left\lbrack {\frac{1}{N}{\sum\limits_{n^{\prime} = 0}^{N_{1} - 1}{{H_{l - 1}\left( {{n^{\prime} + N_{G}},m} \right)} \times W_{N}^{- {n^{\prime}{\lbrack{{m{({1 - ɛ_{t}})}} - k + ɛ_{f}}\rbrack}}}}}} \right\rbrack} \times W_{N}^{{lN}_{S}{({{m\; ɛ_{t}} - ɛ_{f}})}} \times {W_{N}^{- {k{({n_{\Delta} - N_{G}})}}}.}}}$

Case 3: In Bad ST2 region.

Step A7:

{tilde over (X)} _(l,k) ≈Ĥ _(3,k) X _(l,k) W _(N) ^([lN) ^(s) ^((kε) ^(t) ^(−ε) ^(f) ^()−kn) ^(Δ) ^(]) +{circumflex over (N)} _(3,k),

where

${{\hat{H}}_{3,k}\overset{\Delta}{=}{\frac{1}{N}{\sum\limits_{n^{\prime} = 0}^{N - n_{\Delta} - 1}{{H_{l}\left( {n^{\prime},k} \right)} \times W_{N}^{- {n^{\prime}{({ɛ_{f} - {k\; ɛ_{t}}})}}}}}}},{{{\overset{\Cap}{N}}_{3,k}\overset{\Delta}{=}{{\overset{\Cap}{N}}_{1,k} - {\overset{\sim}{X}}_{l,k}^{{ici},2} + {\overset{\sim}{X}}_{l,k}^{{isi},2}}};}$

Step A8:

${{\overset{\sim}{X}}_{l,k}^{{ici},2} \approx {\sum\limits_{m \neq k}{{X_{l,m}\left\lbrack {\frac{1}{N}{\sum\limits_{n^{\prime} = {N - n_{\Delta}}}^{N_{1} - 1}{{H_{l}\left( {n^{\prime},m} \right)} \times W_{N}^{- {n^{\prime}{\lbrack{{m{({1 - ɛ_{t}})}} - k + ɛ_{f}}\rbrack}}}}}} \right\rbrack} \times W_{N}^{{lN}_{S}{({{m\; ɛ_{t}} - ɛ_{f}})}} \times W_{N}^{- {kn}_{\Delta}}}}},{;{and}}$

Step A9:

${\overset{\sim}{X}}_{l,k}^{{isi},2} \approx {\sum\limits_{m = {- K}}^{K}{{X_{{l + 1},m}\left\lbrack {\frac{1}{N}{\sum\limits_{n^{\prime} = {N - n_{\Delta}}}^{N - 1}{{H_{l + 1}\left( {\left( {n^{\prime} - N_{G}} \right)_{N},m} \right)} \times W_{N}^{- {n^{\prime}{\lbrack{{m{({1 - ɛ_{t}})}} - k + ɛ_{f}}\rbrack}}}}}} \right\rbrack} \times W_{N}^{{lN}_{S}{({{m\; ɛ_{t}} - ɛ_{f}})}} \times {W_{N}^{- {k{({n_{\Delta} - N_{G}})}}}.}}}$

(From A1˜A9, there are approximations “≈” because detailed derivations are omitted.) From Step (A1), (A4) and (A9), the present invention illustrates that the received data is multiplied by different time-averaged time-variant transfer functions. The interferences are also different in different regions. They can be well approximated by Gaussian random variables. As such, the received frequency-domain data can be rewritten as Equation (2).

{tilde over (X)} _(l,k) ≈Ĥ _(i,k) X _(l,k) W _(N) ^([lN) ^(s) ^((kε) ^(t) ^(−ε) ^(f) ^()−kn) ^(Δ) ^(]) +{circumflex over (N)} _(i,k) , i=1, 2, 3.  (2)

Note that index i that denotes the three different regions will be dropped for clarity.

It is assumed that X_(l,k) is an evenly-spaced pseudo random binary sequence (PRBS) for k ε P, P is the pilot set. X_(l,k)'s are assumed uncorrelated and zero mean for k ε P. Therefore Equation (3) exists,

$\begin{matrix} {{E\left\lbrack {X_{l_{1},k_{1}}X_{l_{2},k_{2}}^{*}} \right\rbrack} = \left\{ \begin{matrix} {{\sigma_{X}^{2}{\delta \left( {k_{1} - k_{2}} \right)}},} & {k_{1},{k_{2} \in p}} \\ {{\sigma_{X}^{2}{\delta \left( {l_{1} - l_{2}} \right)}{\delta \left( {k_{1} - k_{2}} \right)}},} & {otherwise} \end{matrix} \right.} & (3) \end{matrix}$

where σ_(x) ² is the signal power and δ(·) is Dirac delta function. By Equation (2) and Equation (3), the correlation between two consecutive frequency-domain symbols can be written as Equation (4).

$\begin{matrix} {{E\left\lbrack {{\overset{\sim}{X}}_{l_{1},k_{1}}{\overset{\sim}{X}}_{l_{2},k_{2}}^{*}} \right\rbrack} = \left\{ {\begin{matrix} {{{\sigma_{{\overset{\sim}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}},} & {l_{1} = l_{2}} \\ \; & {k_{1} = {k_{2} = k}} \\ {{\sigma_{{\overset{\sim}{H}}_{k}}^{2}\sigma_{X}^{2}W_{- N}^{- {N_{s}{({{k\; ɛ_{t}} - ɛ_{f}})}}}},} & {l_{2} = {l_{1} + 1}} \\ \; & {{k_{t} = {k_{2} = k}},{k \in P}} \\ {0,} & {otherwise} \end{matrix},} \right.} & (4) \end{matrix}$

From Equation (4), f({tilde over (X)}_(l,k), {tilde over (X)}_(l+1,k)), f({tilde over (X)}_(l,k)) and f({tilde over (X)}_(l+1,k)) in Equation (5) is described by Equation (4.1) and (4.2)

$\begin{matrix} {{{f\left( {{\overset{\sim}{X}}_{l,k},{\overset{\sim}{X}}_{{l + 1},k}} \right)} = \frac{\exp\left( {- \frac{{{\overset{\sim}{X}}_{l,k}}^{2} - {2\rho_{k}{{Re}\left\lbrack {{W_{N}^{- {N_{s}{({{k\; ɛ_{t}} - ɛ_{f}})}}} \cdot {\overset{\sim}{X}}_{l,k}}{\overset{\sim}{X}}_{{l + 1},k}^{*}} \right\rbrack}} + {{\overset{\sim}{X}}_{{l + 1},k}}^{2}}{2\left( {{\sigma_{{\hat{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)\left( {1 - \rho_{k}^{2}} \right)}} \right)}{2{\pi\left( {{\sigma_{{\overset{\Cap}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)}\left( {1 - \rho_{k}^{2}} \right)^{1/2}}},} & (4.1) \\ {\mspace{79mu} {{f\left( {\overset{\sim}{X}}_{l,k} \right)} = {\frac{\exp\left( {- \frac{{{\overset{\sim}{X}}_{l,k}}^{2}}{2\left( {{\sigma_{{\overset{\Cap}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)}} \right)}{\left\lbrack {2{\pi \left( {{\sigma_{{\overset{\Cap}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)}} \right\rbrack^{1/2}}.}}} & (4.2) \end{matrix}$

Note that {tilde over (X)}_(l+1,k) has the same pdf with {tilde over (X)}_(l,k).

The corresponding log-likelihood function of Equation (4) can be written as Equation (5).

$\begin{matrix} {{\Lambda \left( {n_{\Delta},ɛ_{f},ɛ_{t}} \right)} = {\log\left( {\prod\limits_{k \in P}\; {{f\left( {{\overset{\sim}{X}}_{l,k},{\overset{\sim}{X}}_{{l + 1},k}} \right)} \times {\prod\limits_{k \notin P}\; {{f\left( {\overset{\sim}{X}}_{l,k} \right)}{f\left( {\overset{\sim}{X}}_{{l + 1},k} \right)}}}}} \right)}} & (5) \end{matrix}$

where f(·) denotes the probability density function (and the conditioning on (n_(Δ), ε_(f), ε_(t)) are dropped for notational clarity). Therefore, Equation (5) can be derived in Equation (5.1).

$\begin{matrix} {{{\Lambda \left( {n_{\Delta},ɛ_{f},ɛ_{t}} \right)} = {{\sum\limits_{k \in P}\left\{ {{c_{2,k}{{\gamma \left( n_{\Delta} \right)}}{\cos \left\lbrack {\frac{2\pi \; {N_{s}\left( {{k\; ɛ_{t}} - ɛ_{f}} \right)}}{N} - {{\angle\gamma}\left( n_{\Delta} \right)}} \right\rbrack}} - {c_{3,k}{\Phi \left( n_{\Delta} \right)}}} \right\}} - {\sum\limits_{k}{c_{4,k}{\Phi \left( n_{\Delta} \right)}}} + c_{1}}}{where}{c_{1} = {{{- \left\lbrack {\sum\limits_{k \in P}{\log \left( {1 - \rho_{k}^{2}} \right)}} \right\rbrack}/2} - {\sum\limits_{k}{\log \; 2{\pi\left( {{\sigma_{{\overset{\Cap}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)}}}}}{c_{2,k} = {{\rho_{k}/\left( {{\sigma_{{\overset{\Cap}{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\overset{\Cap}{N}}_{k}}^{2}} \right)}\left( {1 - \rho_{k}^{2}} \right)}}{{c_{3,k} = {\rho_{k}c_{2,k}}};{c_{4,k} = {{c_{2,k}\left( {1 - \rho_{k}^{2}} \right)}/{\rho_{k}.}}}}} & (5.1) \end{matrix}$

ρ_(k) is the magnitude of the correlation coefficient between {tilde over (X)}_(l,k) and {tilde over (X)}_(l+1,k) as shown in Equation (6).

$\begin{matrix} {{\rho_{k}\overset{\Delta}{=}{\frac{E\left\lbrack {{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}} \right\rbrack}{\sqrt{{E\left\lbrack {{\overset{\sim}{X}}_{l,k}}^{2} \right\rbrack}{E\left\lbrack {{\overset{\sim}{X}}_{{l + 1},k}}^{2} \right\rbrack}}}}},{k \in {P.}}} & (6) \end{matrix}$

In addition with Equations (7) and (8),

$\begin{matrix} {{{\gamma \left( n_{\Delta} \right)}\overset{\Delta}{=}{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}},} & (7) \\ {{\Phi \left( n_{\Delta} \right)}\overset{\Delta}{=}{\frac{1}{2}\left( {{{\overset{\sim}{X}}_{l,k}}^{2} + {{\overset{\sim}{X}}_{{l + 1},k}}^{2}} \right)}} & (8) \end{matrix}$

the maximization of the log-likelihood function can be performed in two steps as shown in Equation (9),

$\begin{matrix} \begin{matrix} {{\max\limits_{({n_{\Delta},ɛ_{f},ɛ_{r}})}{\Lambda\left( {n_{\Delta},ɛ_{f},ɛ_{t}} \right)}} = {\max\limits_{n_{\Delta}}{\max\limits_{({ɛ_{f},ɛ_{t}})}{\Lambda \left( {n_{\Delta},ɛ_{f},ɛ_{t}} \right)}}}} \\ {= {\max\limits_{n_{\Delta}}{{\Lambda \left( {n_{\Delta},ɛ_{f,{ML}},ɛ_{t,{ML}}} \right)}.}}} \end{matrix} & (9) \end{matrix}$

Obviously, under the condition of optimal RCFO and SCFO, i.e.,

${\left( {ɛ_{f},ɛ_{t}} \right)\overset{\Delta}{=}\left( {ɛ_{f,{ML}},ɛ_{t,{ML}}} \right)},$

Equation (5) is reduced to Equation (10).

$\begin{matrix} {{\Lambda \left( {n_{\Delta},ɛ_{f,{ML}},ɛ_{t,{ML}}} \right)} = {{\sum\limits_{k \in P}\left( {{c_{2,k}{{\gamma \left( n_{\Delta} \right)}}} - {c_{3,k}{\Phi \left( n_{\Delta} \right)}}} \right)} - {\sum\limits_{k}{c_{4,k}{{\Phi \left( n_{\Delta} \right)}.}}}}} & (10) \end{matrix}$

Hence, the optimal ST n_(Δ)

n_(Δ,ML) can be obtained by maximizing Equation (5), and the joint ML estimation includes following steps:

Step 1: Estimate by using Equation (11).

$\begin{matrix} {{{\hat{n}}_{\Delta \mspace{14mu} \ldots \mspace{11mu} {ML}} = {\arg {\underset{n_{\Delta}}{\; \max}\left\lbrack {{\sum\limits_{k \in P}\left( {{c_{2,k}{{\gamma \left( n_{\Delta} \right)}}} - {c_{3,k}{\Phi \left( n_{\Delta} \right)}}} \right)} - {\sum\limits_{k}{c_{4,k}{\Phi \left( n_{\Delta} \right)}}}} \right\rbrack}}},} & (11) \end{matrix}$

Step 2: Given {circumflex over (n)}_(Δ,ML), estimate ({circumflex over (ε)}_(f,ML), {circumflex over (ε)}_(t,ML)) by using the constraint in Equation (12).

$\begin{matrix} {{{k{\hat{ɛ}}_{t,{ML}}} - {\hat{ɛ}}_{f,{ML}}} = {\frac{1}{2\pi}\frac{N}{N_{s}}{{{\angle\gamma}\left( {\hat{n}}_{\Delta,{ML}} \right)}.}}} & (12) \end{matrix}$

Note the present invention assumes that the condition |N_(s)(kε_(t)−ε_(f))<½ is satisfied so that there is no phase ambiguity. The joint SCFO and RCFO can be estimated by Equation (13).

$\begin{matrix} \left\{ \begin{matrix} {{\hat{ɛ}}_{t,{ML}} = {\frac{1}{2\pi}\frac{N}{N_{S}}\frac{1}{M}{\angle\left( {{\sum\limits_{k \in P^{+}}{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}} - {\sum\limits_{k \in P^{-}}{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}}} \right)}}} \\ {{\hat{ɛ}}_{f,{ML}} = {{- \frac{1}{2\pi}}\frac{N}{N_{S}}{\angle\left( {{\sum\limits_{k \in P^{+}}{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}} + {\sum\limits_{k \in P^{-}}{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}}} \right)}}} \end{matrix} \right. & (13) \end{matrix}$

where P⁺, P⁻ ε P are the set of positive/negative frequency-domain pilots.

In the present invention, each ensemble average value of ρ_(k) must be found. However, it is impractical to estimate it by using its time average value. A practical solution to this problem is that we can reasonably assume a single averaged value ρ for all ρ_(k)'s as shown in Equation (14).

$\begin{matrix} {\rho = {\sum\limits_{k}{{{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}}/{\sqrt{\sum\limits_{k}{{{\overset{\sim}{X}}_{l,k}}^{2}{\sum\limits_{k}{{\overset{\sim}{X}}_{{l + 1},k}}^{2}}}}.}}}} & (14) \end{matrix}$

That is, the denominator and numerator of ρ_(k) are replaced by the averaged values of

${{\sqrt{\sum\limits_{k}{{{\overset{\sim}{X}}_{l,k}}^{2}{\sum\limits_{k}{{\overset{\sim}{X}}_{{l + 1},k}}^{2}}}}/N}\mspace{14mu} {and}\mspace{14mu} {\sum\limits_{k}{{{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}}/N}}},$

respectively. Hence, the ML estimation (11) can be simplified as Equation (15).

$\begin{matrix} {{\hat{n}}_{\Delta,{ML}} = {\arg {\max\limits_{n_{\Delta}}{\left\lbrack {{\sum\limits_{k \in P}\left( {{\rho {{\gamma \left( n_{\Delta} \right)}}} - {\Phi \left( n_{\Delta} \right)}} \right)} - {\sum\limits_{k \notin P}{\left( {1 - \rho^{2}} \right){\Phi \left( n_{\Delta} \right)}}}} \right\rbrack.}}}} & (15) \end{matrix}$

The ML estimations of SCFO and RCFO under the simplified condition are still the same as (13). A realization of (15) and (13) is shown in FIG. 4.

By approximating interferences as Gaussian distributed random processes, a joint ML method for the three major synchronization errors is presented. The method is robust in the sense that the estimation's MSE is low and does not degrade significantly under low SNR and high mobility conditions in time-variant multipath fading channels. As such, the proposed technique is suitable for high mobility and non-line-of-sight (NLOS) applications, like 802.16e. In addition, the method is efficient in the sense that STO, RCFO and SCFO are jointly estimated at the same time.

Accordingly, the feature of the present invention is to provide a joint maximum-likelihood (ML) synchronization method for symbol time offset (STO), carrier frequency offset (CFO) and sampling clock frequency offset (SCFO) for OFDM systems. Unlike most existing techniques which are time-domain approaches considering only AWGN and/or static multipath conditions, the proposed algorithm is developed in frequency-domain under time-variant multipath channels. By analyzing the received frequency-domain data, a mathematical model for the joint effects of STO, CFO and SCFO is derived. The results are used to formulate a log-likelihood function of two consecutive symbols. Based on the function, a joint ML algorithm is proposed. The method is both efficient and robust, because the three main synchronization issues are treated altogether. Simulation results exhibit high performances in time-variant multipath fading channels.

Although the present invention has been explained in relation to its preferred embodiment, it is to be understood that other modifications and variation can be made without departing the spirit and scope of the invention as hereafter claimed. 

1. A symbol time synchronization method for OFDM systems, the method comprising: receiving frequency domain data from a plurality of channels, and analyzing said frequency domain data; generating a probability density function from said frequency domain data; establishing a log-likelihood function from said probability density function; doing maximum-likelihood estimation according to said log-likelihood function; and generating symbol time offset (STO) from said maximum-likelihood estimation.
 2. The symbol time synchronization method for OFDM systems according to claim 1, wherein said frequency domain data are {tilde over (X)} _(l,k) ≈Ĥ _(i,k) X _(l,k) W _(N) ^([lN) ^(s) ^((kε) ^(t) ^(ε) ^(f) ^()−kn) ^(Δ) ^(]) +{circumflex over (N)} _(i,k) , i=1, 2,
 3. 3. The symbol time synchronization method for OFDM systems according to claim 1, wherein said frequency domain data is analyzed by ${E\left\lbrack {{\overset{\sim}{X}}_{l_{1},k_{1}}{\overset{\sim}{X}}_{l_{2},k_{2}}^{*}} \right\rbrack} = \left\{ \begin{matrix} {{{\sigma_{{\hat{H}}_{k}}^{2}\sigma_{X}^{2}} + \sigma_{{\hat{N}}_{k}}^{2}},} & {l_{1} = l_{2}} \\ \; & {k_{1} = {k_{2} = k}} \\ {{\sigma_{{\hat{H}}_{k}^{\prime}}^{2}\sigma_{X}^{2}W_{N}^{- {N_{s}{({{kɛ}_{t} - ɛ_{f}})}}}},} & {l_{2} = {l_{1} + 1}} \\ \; & {{k_{1} = {k_{2} = k}},{k \in P}} \\ {0,} & {otherwise} \end{matrix} \right.$
 4. The symbol time synchronization method for OFDM systems according to claim 1, wherein said log-likelihood function is ${\Lambda \left( {n_{\Delta},ɛ_{f},ɛ_{t}} \right)} = {{\log\left( {\prod\limits_{k \in P}\; {{f\left( {{\overset{\sim}{X}}_{l,k},{\overset{\sim}{X}}_{{l + 1},k}} \right)} \times {\prod\limits_{k \notin P}\; {{f\left( {\overset{\sim}{X}}_{l,k} \right)}{f\left( {\overset{\sim}{X}}_{{l + 1},k} \right)}}}}} \right)}.}$
 5. The symbol time synchronization method for OFDM systems according to claim 1, wherein said log-likelihood function may be simply expressed in ${\Lambda \left( {n_{\Delta},ɛ_{f,{ML}},ɛ_{t,{ML}}} \right)} = {{\sum\limits_{k \in P}\left( {{c_{2,k}{{\gamma \left( n_{\Delta} \right)}}} - {c_{3,k}{\Phi \left( n_{\Delta} \right)}}} \right)} - {\sum\limits_{k}{c_{4,k}{{\Phi \left( n_{\Delta} \right)}.}}}}$
 6. The symbol time synchronization method for OFDM systems according to claim 1, wherein said generating symbol time offset (STO) from ${\hat{n}}_{\Delta,{ML}} = {\arg {\max\limits_{n_{\Delta}}{\left\lbrack {{\sum\limits_{k \in P}\left( {{c_{2,k}{{\gamma \left( n_{\Delta} \right)}}} - {{\Phi c}_{3,k}\left( n_{\Delta} \right)}} \right)} - {\sum\limits_{k}{c_{4,k}{\Phi \left( n_{\Delta} \right)}}}} \right\rbrack.}}}$
 7. The symbol time synchronization method for OFDM systems according to claim 1, further comprising using a single averaged value ρ for all ρ_(k), said single averaged value ρ may be $\rho = {\sum\limits_{k}{{{{\overset{\sim}{X}}_{l,k}{\overset{\sim}{X}}_{{l + 1},k}^{*}}}/{\sqrt{\sum\limits_{k}{{{\overset{\sim}{X}}_{l,k}}^{2}{\sum\limits_{k}{{\overset{\sim}{X}}_{{l + 1},k}}^{2}}}}.}}}$
 8. The symbol time synchronization method for OFDM systems according to claim 1, wherein said maximum-likelihood estimation is ${\hat{n}}_{\Delta,{ML}} = {\arg {\max\limits_{n_{\Delta}}{\left\lbrack {{\sum\limits_{k \in P}\left( {{\rho {{\gamma \left( n_{\Delta} \right)}}} - {\Phi \left( n_{\Delta} \right)}} \right)} - {\sum\limits_{k \notin P}{\left( {1 - \rho^{2}} \right){\Phi \left( n_{\Delta} \right)}}}} \right\rbrack.}}}$ 